let f {caret}(_)y = ()
